package org.usixml.model.client.ui;

import java.awt.Dimension;
import java.awt.Insets;

import javax.swing.JToggleButton;
import javax.swing.JToolBar;

public class TaskModelToolBar extends JToolBar {
    
    private JToggleButton btEnabling;
    private JToggleButton btEnablingInfoPassing;
    private JToggleButton btSuspendResume;
    private JToggleButton btDeterministicChoice;
    private JToggleButton btUndeterministicChoice;
    private JToggleButton btDisabling;
    private JToggleButton btIndependence;
    private JToggleButton btConcurrency;
    private JToggleButton btConcurrencyInfoPassing;
    
    public TaskModelToolBar() {
        initComponent();
    }
    
    private void initComponent() {
        this.setOrientation(JToolBar.HORIZONTAL);
        
        btEnabling = new JToggleButton(">>");
        btEnabling.setPreferredSize(new Dimension(24, 24));
        btEnabling.setMargin(new Insets(1, 1, 1, 1));
        this.add(btEnabling);
        
        btEnablingInfoPassing = new JToggleButton("[]>");
        btEnablingInfoPassing.setPreferredSize(new Dimension(24, 24));
        this.add(btEnablingInfoPassing);
        
        btSuspendResume = new JToggleButton("|>");
        btSuspendResume.setPreferredSize(new Dimension(24, 24));
        this.add(btSuspendResume);
        
        btDeterministicChoice = new JToggleButton("[]");
        btDeterministicChoice.setPreferredSize(new Dimension(24, 24));
        this.add(btDeterministicChoice);
        
        btUndeterministicChoice = new JToggleButton("][");
        btUndeterministicChoice.setPreferredSize(new Dimension(24, 24));
        this.add(btUndeterministicChoice);
        
        btDisabling = new JToggleButton("[>");
        btDisabling.setPreferredSize(new Dimension(24, 24));
        this.add(btDisabling);
        
        btIndependence = new JToggleButton("|=|");
        btIndependence.setPreferredSize(new Dimension(24, 24));
        this.add(btIndependence);
        
        btConcurrency = new JToggleButton("|||");
        btConcurrency.setPreferredSize(new Dimension(24, 24));
        this.add(btConcurrency);
        
        btConcurrencyInfoPassing = new JToggleButton("|[]|");
        btConcurrencyInfoPassing.setPreferredSize(new Dimension(24, 24));
        this.add(btConcurrencyInfoPassing);
    }
}
